ruler postulate definition